A Trust Framework of Ubiquitous Healthcare with Advanced Petri Net Model
نویسنده
چکیده
Ubiquitous healthcare, which enables patients to access medical services anywhere anytime, is still so immature that particularly trust issues in this area require more researches. In this sense, how to design a trustworthy ubiquitous healthcare system is an interesting problem to be resolved. In this paper, we propose a trust framework for ubiquitous healthcare systems by using advanced Petri net and verify how this trust framework evaluates trust properties when developing ubiquitous healthcare systems. The outcome of the research, the trust framework, can make it easy to understand how trust relationships can be built in ubiquitous healthcare systems via mathematical and graphical models.
منابع مشابه
Trust Development and Activity Understanding Based on Advanced Petri Net Model for Virtual University
Trust information is needed for both learners and teachers in virtual university system. In this paper, we presented an advanced Petri Net model to manage the workflow of a web-based multiple participants in virtual University. The presented approach not only can conspicuously help the developer to comprehend the interaction relationship between the client-server virtual environments but also t...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کامل